ODERSKY, MARTIN: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Scala-Virtualized: linguistic reuse for deep embeddings

Rompf, Tiark, Amin, Nada, Moors, Adriaan, Haller, Philipp, Odersky, Martin

Journal:

Higher-Order and Symbolic Computation

Year:

2012

Language:

english

File:

PDF, 1.10 MB

english, 2012

2

Simplicitly: foundations and applications of implicit function types

Odersky, Martin, Blanvillain, Olivier, Liu, Fengyun, Biboudis, Aggelos, Miller, Heather, Stucki, Sandro

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 420 KB

english, 2017

3

Extending MODULA-2 for object-oriented programming

Journal:

Microprocessors and Microsystems

Year:

1990

Language:

english

File:

PDF, 968 KB

english, 1990

4

Scala Actors: Unifying thread-based and event-based programming

Philipp Haller, Martin Odersky

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.51 MB

english, 2009

5

Call-by-name, Call-by-value, Call-by-need, and the Linear Lambda Calculus

John Maraist, Martin Odersky, David N. Turner, Philip Wadler

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 1011 KB

english, 1995

6

Tail call elimination on the Java Virtual Machine

Michel Schinz, Martin Odersky

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

File:

PDF, 652 KB

2001

7

Introduction

Ian A. Mason, Martin Odersky

Journal:

Higher-Order and Symbolic Computation

Year:

1995

Language:

english

File:

PDF, 89 KB

english, 1995

8

Scalable component abstractions

Odersky, Martin, Zenger, Matthias

Journal:

ACM SIGPLAN Notices

Year:

2005

Language:

english

File:

PDF, 636 KB

english, 2005

9

The Scala experiment

Odersky, Martin

Journal:

ACM SIGPLAN Notices

Year:

2006

Language:

english

File:

PDF, 105 KB

english, 2006

10

Mutational dynamics between primary and relapse neuroblastomas

Schramm, Alexander, Köster, Johannes, Assenov, Yassen, Althoff, Kristina, Peifer, Martin, Mahlow, Ellen, Odersky, Andrea, Beisser, Daniela, Ernst, Corinna, Henssen, Anton G, Stephan, Harald, Schröder,

Journal:

Nature Genetics

Year:

2015

Language:

english

File:

PDF, 1.22 MB

english, 2015

11

Polymorphic type inference and abstract data types

Läfer, Konstantin, Odersky, Martin

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1994

Language:

english

File:

PDF, 1.16 MB

english, 1994

12

[ACM Press the 24th ACM SIGPLAN-SIGACT symposium - Paris, France (1997.01.15-1997.01.17)] Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97 - Pizza into Java

Odersky, Martin, Wadler, Philip

Year:

1997

File:

PDF, 1.09 MB

1997

13

The call-by-need lambda calculus

MARAIST, JOHN, ODERSKY, MARTIN, WADLER, PHILIP

Journal:

Journal of Functional Programming

Year:

1998

Language:

english

File:

PDF, 431 KB

english, 1998

14

Type inference with constrained types

Odersky, Martin, Sulzmann, Martin, Wehr, Martin

Journal:

Theory and Practice of Object Systems

Year:

1999

Language:

english

File:

PDF, 219 KB

english, 1999

15

Negative Boolean constraints

Kim Marriott, Martin Odersky

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 1013 KB

english, 1996

16

A confluent calculus for concurrent constraint programming

Kim Marriott, Martin Odersky

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.61 MB

english, 1997

17

[Lecture Notes in Computer Science] Abstract State Machines - Theory and Applications Volume 1912 || Symbolic Analysis of Transition Systems?

Gurevich, Yuri, Kutter, Philipp W., Odersky, Martin, Thiele, Lothar

Year:

2000

Language:

english

File:

PDF, 596 KB

english, 2000

18

Lightweight modular staging

Rompf, Tiark, Odersky, Martin

Journal:

Communications of the ACM

Year:

2012

Language:

english

File:

PDF, 985 KB

english, 2012

19

[Lecture Notes in Computer Science] Compiler Construction Volume 4420 || Obfuscating Java: The Most Pain for the Least Gain

Krishnamurthi, Shriram, Odersky, Martin

Year:

2007

Language:

english

File:

PDF, 375 KB

english, 2007

20

[Lecture Notes in Computer Science] Compiler Construction Volume 4420 || A Fast Cutting-Plane Algorithm for Optimal Coalescing

Krishnamurthi, Shriram, Odersky, Martin

Year:

2007

Language:

english

File:

PDF, 479 KB

english, 2007

21

[ACM Press the ACM international conference - Reno/Tahoe, Nevada, USA (2010.10.17-2010.10.21)] Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10 - Language virtualization for heterogeneous parallel computing

Chafi, Hassan, DeVito, Zach, Moors, Adriaan, Rompf, Tiark, Sujeeth, Arvind K., Hanrahan, Pat, Odersky, Martin, Olukotun, Kunle

Year:

2010

Language:

english

File:

PDF, 800 KB

english, 2010

22

[Lecture Notes in Computer Science] ECOOP 2004 – Object-Oriented Programming Volume 3086 ||

Odersky, Martin

Year:

2004

Language:

english

File:

PDF, 5.86 MB

english, 2004

23

[Lecture Notes in Computer Science] Domain-Specific Program Generation Volume 3016 ||

Lengauer, Christian, Batory, Don, Consel, Charles, Odersky, Martin

Year:

2004

Language:

english

File:

PDF, 2.53 MB

english, 2004

24

Defining context-dependent syntax without using contexts

Odersky, Martin

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1993

Language:

english

File:

PDF, 1.75 MB

english, 1993

25

Instant pickles

Miller, Heather, Haller, Philipp, Burmako, Eugene, Odersky, Martin

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 958 KB

english, 2013

26

[ACM Press the 2013 ACM SIGPLAN international conference - Indianapolis, Indiana, USA (2013.10.29-2013.10.31)] Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications - OOPSLA '13 - Miniboxing

Ureche, Vlad, Talau, Cristian, Odersky, Martin

Year:

2013

Language:

english

File:

PDF, 585 KB

english, 2013

27

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Optimizing data structures in high-level programs

Rompf, Tiark, Sujeeth, Arvind K., Amin, Nada, Brown, Kevin J., Jovanovic, Vojin, Lee, HyoukJoong, Jonnalagedda, Manohar, Olukotun, Kunle, Odersky, Martin

Year:

2013

Language:

english

File:

PDF, 609 KB

english, 2013

28

[ACM Press the 12th international conference - Indianapolis, Indiana, USA (2013.10.27-2013.10.28)] Proceedings of the 12th international conference on Generative programming: concepts & experiences - GPCE '13 - Spiral in scala

Ofenbeck, Georg, Rompf, Tiark, Stojanov, Alen, Odersky, Martin, Püschel, Markus

Year:

2013

Language:

english

File:

PDF, 1.14 MB

english, 2013

29

[IEEE 2014 24th International Conference on Field Programmable Logic and Applications (FPL) - Munich, Germany (2014.9.2-2014.9.4)] 2014 24th International Conference on Field Programmable Logic and Applications (FPL) - Hardware system synthesis from Domain-Specific Languages

George, Nithin, Lee, HyoukJoong, Novo, David, Rompf, Tiark, Brown, Kevin J., Sujeeth, Arvind K., Odersky, Martin, Olukotun, Kunle, Ienne, Paolo

Year:

2014

Language:

english

File:

PDF, 746 KB

english, 2014

30

[IEEE 2013 International Conference on Field-Programmable Technology (FPT) - Kyoto, Japan (2013.12.9-2013.12.11)] 2013 International Conference on Field-Programmable Technology (FPT) - Making domain-specific hardware synthesis tools cost-efficient

George, Nithin, Novo, David, Rompf, Tiark, Odersky, Martin, Ienne, Paolo

Year:

2013

Language:

english

File:

PDF, 430 KB

english, 2013

31

[IEEE 2011 International Conference on Parallel Architectures and Compilation Techniques (PACT) - Galveston, TX, USA (2011.10.10-2011.10.14)] 2011 International Conference on Parallel Architectures and Compilation Techniques - A Heterogeneous Parallel Framework for Domain-Specific Languages

Brown, Kevin J., Sujeeth, Arvind K., Lee, Hyouk Joong, Rompf, Tiark, Chafi, Hassan, Odersky, Martin, Olukotun, Kunle

Year:

2011

Language:

english

File:

PDF, 1.25 MB

english, 2011

32

[ACM Press Companion the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 - Functional programming for all! scaling a MOOC for students and professionals alike

Miller, Heather, Haller, Philipp, Rytz, Lukas, Odersky, Martin

Year:

2014

Language:

english

File:

PDF, 719 KB

english, 2014

33

[ACM Press the 2014 International Conference - Västerås, Sweden (2014.09.15-2014.09.16)] Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences - GPCE 2014 - Yin-yang: concealing the deep embedding of DSLs

Jovanovic, Vojin, Shaikhha, Amir, Stucki, Sandro, Nikolaev, Vladimir, Koch, Christoph, Odersky, Martin

Year:

2014

Language:

english

File:

PDF, 389 KB

english, 2014

34

Forge

Sujeeth, Arvind K., Gibbons, Austin, Brown, Kevin J., Lee, HyoukJoong, Rompf, Tiark, Odersky, Martin, Olukotun, Kunle

Journal:

ACM SIGPLAN Notices

Year:

2014

Language:

english

File:

PDF, 910 KB

english, 2014

35

[Lecture Notes in Computer Science] Compiler Construction Volume 4420 || Extended Linear Scan: An Alternate Foundation for Global Register Allocation

Krishnamurthi, Shriram, Odersky, Martin

Year:

2007

Language:

english

File:

PDF, 382 KB

english, 2007

36

Unifying functional and object-oriented programming with Scala

Odersky, Martin, Rompf, Tiark

Journal:

Communications of the ACM

Year:

2014

Language:

english

File:

PDF, 2.88 MB

english, 2014

37

[ACM Press the SIGCHI conference - New Orleans, Louisiana, United States (1991.04.27-1991.05.02)] Proceedings of the SIGCHI conference on Human factors in computing systems Reaching through technology - CHI '91 - Building visual language parsers

Helm, Richard, Marruitt, Kim, Odersky, Martin

Year:

1991

Language:

english

File:

PDF, 663 KB

english, 1991

38

Guest editorial

Odersky, Martin, Pierce, Benjamin C.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2004

Language:

english

File:

PDF, 29 KB

english, 2004

39

[ACM Press the 20th annual ACM SIGPLAN conference - San Diego, CA, USA (2005.10.16-2005.10.20)] Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '05 - Scalable component abstractions

Odersky, Martin, Zenger, Matthias

Year:

2005

Language:

english

File:

PDF, 636 KB

english, 2005

40

[ACM Press the 1992 ACM conference - San Francisco, California, United States (1992.06.22-1992.06.24)] Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92 - Parametric type classes

Chen, Kung, Hudak, Paul, Odersky, Martin

Year:

1992

Language:

english

File:

PDF, 1.04 MB

english, 1992

41

[ACM Press the 4th workshop - Genova, Italy (2009.07.06-2009.07.06)] Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems - ICOOOLPS '09 - Compiling generics through user-directed type specialization

Dragos, Iulian, Odersky, Martin

Year:

2009

Language:

english

File:

PDF, 756 KB

english, 2009

42

[ACM Press the 21st ACM SIGPLAN-SIGACT symposium - Portland, Oregon, United States (1994.01.16-1994.01.19)] Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 - A functional theory of local names

Odersky, Martin

Year:

1994

Language:

english

File:

PDF, 962 KB

english, 1994

43

[ACM Press the ACM international conference - Reno/Tahoe, Nevada, USA (2010.10.17-2010.10.21)] Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10 - Type classes as objects and implicits

Oliveira, Bruno C.d.S., Moors, Adriaan, Odersky, Martin

Year:

2010

Language:

english

File:

PDF, 507 KB

english, 2010

44

[ACM Press the 12th international conference - Indianapolis, Indiana, USA (2013.10.27-2013.10.28)] Proceedings of the 12th international conference on Generative programming: concepts & experiences - GPCE '13 - Forge

Sujeeth, Arvind K., Gibbons, Austin, Brown, Kevin J., Lee, HyoukJoong, Rompf, Tiark, Odersky, Martin, Olukotun, Kunle

Year:

2013

Language:

english

File:

PDF, 910 KB

english, 2013

45

[ACM Press the third ACM SIGPLAN international conference - Baltimore, Maryland, United States (1998.09.26-1998.09.29)] Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 - Programming with variable functions

Odersky, Martin

Year:

1998

Language:

english

File:

PDF, 1.29 MB

english, 1998

46

[ACM Press the 13th ACM SIGPLAN conference - Vancouver, British Columbia, Canada (1998.10.18-1998.10.22)] Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '98 - Making the future safe for the past

Bracha, Gilad, Odersky, Martin, Stoutamire, David, Wadler, Philip

Year:

1998

Language:

english

File:

PDF, 1.82 MB

english, 1998

47

Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform

Rompf, Tiark, Maier, Ingo, Odersky, Martin

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 458 KB

english, 2009

48

[ACM Press the ninth international conference - Eindhoven, The Netherlands (2010.10.10-2010.10.13)] Proceedings of the ninth international conference on Generative programming and component engineering - GPCE '10 - Lightweight modular staging

Rompf, Tiark, Odersky, Martin

Year:

2010

Language:

english

File:

PDF, 609 KB

english, 2010

49

Language virtualization for heterogeneous parallel computing

Chafi, Hassan, DeVito, Zach, Moors, Adriaan, Rompf, Tiark, Sujeeth, Arvind K., Hanrahan, Pat, Odersky, Martin, Olukotun, Kunle

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 800 KB

english, 2010

50

Programming with variable functions

Odersky, Martin

Journal:

ACM SIGPLAN Notices

Year:

1999

Language:

english

File:

PDF, 1.29 MB

english, 1999